Optimal. Leaf size=558 \[ -\frac {a g i^2 m x}{3 j^2}-\frac {b d^2 f n x}{3 e^2}+\frac {4 b d^2 g m n x}{9 e^2}+\frac {4 b g i^2 m n x}{9 j^2}+\frac {b d g i m n x}{3 e j}-\frac {5 b d g m n x^2}{36 e}-\frac {5 b g i m n x^2}{36 j}+\frac {2}{27} b g m n x^3-\frac {b d^3 g m n \log (d+e x)}{9 e^3}-\frac {b d^2 g i m n \log (d+e x)}{6 e^2 j}-\frac {b g i^2 m (d+e x) \log \left (c (d+e x)^n\right )}{3 e j^2}+\frac {g i m x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{6 j}-\frac {1}{9} g m x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {b g i^3 m n \log (i+j x)}{9 j^3}-\frac {b d g i^2 m n \log (i+j x)}{6 e j^2}+\frac {g i^3 m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (i+j x)}{e i-d j}\right )}{3 j^3}-\frac {b d^2 g n (i+j x) \log \left (h (i+j x)^m\right )}{3 e^2 j}+\frac {b d n x^2 \left (f+g \log \left (h (i+j x)^m\right )\right )}{6 e}-\frac {1}{9} b n x^3 \left (f+g \log \left (h (i+j x)^m\right )\right )+\frac {b d^3 n \log \left (-\frac {j (d+e x)}{e i-d j}\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{3 e^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )+\frac {b g i^3 m n \text {Li}_2\left (-\frac {j (d+e x)}{e i-d j}\right )}{3 j^3}+\frac {b d^3 g m n \text {Li}_2\left (\frac {e (i+j x)}{e i-d j}\right )}{3 e^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.43, antiderivative size = 558, normalized size of antiderivative = 1.00, number of steps
used = 29, number of rules used = 9, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.281, Rules used = {2489, 45,
2463, 2436, 2332, 2442, 2441, 2440, 2438} \begin {gather*} \frac {b d^3 g m n \text {PolyLog}\left (2,\frac {e (i+j x)}{e i-d j}\right )}{3 e^3}+\frac {b g i^3 m n \text {PolyLog}\left (2,-\frac {j (d+e x)}{e i-d j}\right )}{3 j^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )+\frac {g i^3 m \log \left (\frac {e (i+j x)}{e i-d j}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )}{3 j^3}+\frac {g i m x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{6 j}-\frac {1}{9} g m x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {a g i^2 m x}{3 j^2}-\frac {b g i^2 m (d+e x) \log \left (c (d+e x)^n\right )}{3 e j^2}+\frac {b d^3 n \log \left (-\frac {j (d+e x)}{e i-d j}\right ) \left (f+g \log \left (h (i+j x)^m\right )\right )}{3 e^3}-\frac {b d^3 g m n \log (d+e x)}{9 e^3}-\frac {b d^2 f n x}{3 e^2}-\frac {b d^2 g n (i+j x) \log \left (h (i+j x)^m\right )}{3 e^2 j}-\frac {b d^2 g i m n \log (d+e x)}{6 e^2 j}+\frac {4 b d^2 g m n x}{9 e^2}+\frac {b d n x^2 \left (f+g \log \left (h (i+j x)^m\right )\right )}{6 e}-\frac {b d g i^2 m n \log (i+j x)}{6 e j^2}+\frac {b d g i m n x}{3 e j}-\frac {5 b d g m n x^2}{36 e}-\frac {1}{9} b n x^3 \left (f+g \log \left (h (i+j x)^m\right )\right )-\frac {b g i^3 m n \log (i+j x)}{9 j^3}+\frac {4 b g i^2 m n x}{9 j^2}-\frac {5 b g i m n x^2}{36 j}+\frac {2}{27} b g m n x^3 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 2332
Rule 2436
Rule 2438
Rule 2440
Rule 2441
Rule 2442
Rule 2463
Rule 2489
Rubi steps
\begin {align*} \int x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right ) \, dx &=\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )-\frac {1}{3} (g j m) \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{387+j x} \, dx-\frac {1}{3} (b e n) \int \frac {x^3 \left (f+g \log \left (h (387+j x)^m\right )\right )}{d+e x} \, dx\\ &=\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )-\frac {1}{3} (g j m) \int \left (\frac {149769 \left (a+b \log \left (c (d+e x)^n\right )\right )}{j^3}-\frac {387 x \left (a+b \log \left (c (d+e x)^n\right )\right )}{j^2}+\frac {x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{j}-\frac {57960603 \left (a+b \log \left (c (d+e x)^n\right )\right )}{j^3 (387+j x)}\right ) \, dx-\frac {1}{3} (b e n) \int \left (\frac {d^2 \left (f+g \log \left (h (387+j x)^m\right )\right )}{e^3}-\frac {d x \left (f+g \log \left (h (387+j x)^m\right )\right )}{e^2}+\frac {x^2 \left (f+g \log \left (h (387+j x)^m\right )\right )}{e}-\frac {d^3 \left (f+g \log \left (h (387+j x)^m\right )\right )}{e^3 (d+e x)}\right ) \, dx\\ &=\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )-\frac {1}{3} (g m) \int x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx-\frac {(49923 g m) \int \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx}{j^2}+\frac {(19320201 g m) \int \frac {a+b \log \left (c (d+e x)^n\right )}{387+j x} \, dx}{j^2}+\frac {(129 g m) \int x \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx}{j}-\frac {1}{3} (b n) \int x^2 \left (f+g \log \left (h (387+j x)^m\right )\right ) \, dx-\frac {\left (b d^2 n\right ) \int \left (f+g \log \left (h (387+j x)^m\right )\right ) \, dx}{3 e^2}+\frac {\left (b d^3 n\right ) \int \frac {f+g \log \left (h (387+j x)^m\right )}{d+e x} \, dx}{3 e^2}+\frac {(b d n) \int x \left (f+g \log \left (h (387+j x)^m\right )\right ) \, dx}{3 e}\\ &=-\frac {49923 a g m x}{j^2}-\frac {b d^2 f n x}{3 e^2}+\frac {129 g m x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 j}-\frac {1}{9} g m x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {19320201 g m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (387+j x)}{387 e-d j}\right )}{j^3}+\frac {b d n x^2 \left (f+g \log \left (h (387+j x)^m\right )\right )}{6 e}-\frac {1}{9} b n x^3 \left (f+g \log \left (h (387+j x)^m\right )\right )+\frac {b d^3 n \log \left (-\frac {j (d+e x)}{387 e-d j}\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )}{3 e^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )-\frac {(49923 b g m) \int \log \left (c (d+e x)^n\right ) \, dx}{j^2}-\frac {\left (b d^2 g n\right ) \int \log \left (h (387+j x)^m\right ) \, dx}{3 e^2}+\frac {1}{9} (b e g m n) \int \frac {x^3}{d+e x} \, dx-\frac {(19320201 b e g m n) \int \frac {\log \left (\frac {e (387+j x)}{387 e-d j}\right )}{d+e x} \, dx}{j^3}-\frac {(129 b e g m n) \int \frac {x^2}{d+e x} \, dx}{2 j}+\frac {1}{9} (b g j m n) \int \frac {x^3}{387+j x} \, dx-\frac {\left (b d^3 g j m n\right ) \int \frac {\log \left (\frac {j (d+e x)}{-387 e+d j}\right )}{387+j x} \, dx}{3 e^3}-\frac {(b d g j m n) \int \frac {x^2}{387+j x} \, dx}{6 e}\\ &=-\frac {49923 a g m x}{j^2}-\frac {b d^2 f n x}{3 e^2}+\frac {129 g m x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 j}-\frac {1}{9} g m x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {19320201 g m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (387+j x)}{387 e-d j}\right )}{j^3}+\frac {b d n x^2 \left (f+g \log \left (h (387+j x)^m\right )\right )}{6 e}-\frac {1}{9} b n x^3 \left (f+g \log \left (h (387+j x)^m\right )\right )+\frac {b d^3 n \log \left (-\frac {j (d+e x)}{387 e-d j}\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )}{3 e^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )-\frac {(49923 b g m) \text {Subst}\left (\int \log \left (c x^n\right ) \, dx,x,d+e x\right )}{e j^2}-\frac {\left (b d^2 g n\right ) \text {Subst}\left (\int \log \left (h x^m\right ) \, dx,x,387+j x\right )}{3 e^2 j}-\frac {\left (b d^3 g m n\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {e x}{-387 e+d j}\right )}{x} \, dx,x,387+j x\right )}{3 e^3}+\frac {1}{9} (b e g m n) \int \left (\frac {d^2}{e^3}-\frac {d x}{e^2}+\frac {x^2}{e}-\frac {d^3}{e^3 (d+e x)}\right ) \, dx-\frac {(19320201 b g m n) \text {Subst}\left (\int \frac {\log \left (1+\frac {j x}{387 e-d j}\right )}{x} \, dx,x,d+e x\right )}{j^3}-\frac {(129 b e g m n) \int \left (-\frac {d}{e^2}+\frac {x}{e}+\frac {d^2}{e^2 (d+e x)}\right ) \, dx}{2 j}+\frac {1}{9} (b g j m n) \int \left (\frac {149769}{j^3}-\frac {387 x}{j^2}+\frac {x^2}{j}-\frac {57960603}{j^3 (387+j x)}\right ) \, dx-\frac {(b d g j m n) \int \left (-\frac {387}{j^2}+\frac {x}{j}+\frac {149769}{j^2 (387+j x)}\right ) \, dx}{6 e}\\ &=-\frac {49923 a g m x}{j^2}-\frac {b d^2 f n x}{3 e^2}+\frac {4 b d^2 g m n x}{9 e^2}+\frac {66564 b g m n x}{j^2}+\frac {129 b d g m n x}{e j}-\frac {5 b d g m n x^2}{36 e}-\frac {215 b g m n x^2}{4 j}+\frac {2}{27} b g m n x^3-\frac {b d^3 g m n \log (d+e x)}{9 e^3}-\frac {129 b d^2 g m n \log (d+e x)}{2 e^2 j}-\frac {49923 b g m (d+e x) \log \left (c (d+e x)^n\right )}{e j^2}+\frac {129 g m x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{2 j}-\frac {1}{9} g m x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {6440067 b g m n \log (387+j x)}{j^3}-\frac {49923 b d g m n \log (387+j x)}{2 e j^2}+\frac {19320201 g m \left (a+b \log \left (c (d+e x)^n\right )\right ) \log \left (\frac {e (387+j x)}{387 e-d j}\right )}{j^3}-\frac {b d^2 g n (387+j x) \log \left (h (387+j x)^m\right )}{3 e^2 j}+\frac {b d n x^2 \left (f+g \log \left (h (387+j x)^m\right )\right )}{6 e}-\frac {1}{9} b n x^3 \left (f+g \log \left (h (387+j x)^m\right )\right )+\frac {b d^3 n \log \left (-\frac {j (d+e x)}{387 e-d j}\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )}{3 e^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (h (387+j x)^m\right )\right )+\frac {19320201 b g m n \text {Li}_2\left (-\frac {j (d+e x)}{387 e-d j}\right )}{j^3}+\frac {b d^3 g m n \text {Li}_2\left (\frac {e (387+j x)}{387 e-d j}\right )}{3 e^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.52, size = 492, normalized size = 0.88 \begin {gather*} \frac {6 b n \log (d+e x) \left (-6 e^3 g i^3 m \log (i+j x)+6 g \left (e^3 i^3-d^3 j^3\right ) m \log \left (\frac {e (i+j x)}{e i-d j}\right )+d j \left (-6 e^2 g i^2 m-3 d e g i j m+2 d^2 j^2 (3 f-g m)+6 d^2 g j^2 \log \left (h (i+j x)^m\right )\right )\right )+e \left (6 g i m \left (6 a e^2 i^2-b \left (2 e^2 i^2+3 d e i j+6 d^2 j^2\right ) n\right ) \log (i+j x)+6 b e^2 \log \left (c (d+e x)^n\right ) \left (6 f j^3 x^3+g j m x \left (-6 i^2+3 i j x-2 j^2 x^2\right )+6 g i^3 m \log (i+j x)+6 g j^3 x^3 \log \left (h (i+j x)^m\right )\right )+j \left (6 a e^2 x \left (6 f j^2 x^2+g m \left (-6 i^2+3 i j x-2 j^2 x^2\right )\right )+b n \left (12 d^2 j^2 (-3 f+4 g m) x+3 d e \left (6 f j^2 x^2+g m \left (12 i^2+12 i j x-5 j^2 x^2\right )\right )+e^2 x \left (-12 f j^2 x^2+g m \left (48 i^2-15 i j x+8 j^2 x^2\right )\right )\right )-6 g j^2 x \left (-6 a e^2 x^2+b n \left (6 d^2-3 d e x+2 e^2 x^2\right )\right ) \log \left (h (i+j x)^m\right )\right )\right )+36 b g \left (e^3 i^3-d^3 j^3\right ) m n \text {Li}_2\left (\frac {j (d+e x)}{-e i+d j}\right )}{108 e^3 j^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 1.59, size = 3680, normalized size = 6.59
method | result | size |
risch | \(\text {Expression too large to display}\) | \(3680\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int x^2\,\left (a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )\right )\,\left (f+g\,\ln \left (h\,{\left (i+j\,x\right )}^m\right )\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________